/*
 Rule 9.1 (r)
All automatic variables shall have been assigned a value before being used.

*/

#include <stdio.h>

typedef int int32_t;


void mc2main_0812V001NonCompliant_01 ( void );
void mc2main_0812V001NonCompliant_01 ( void )
{
  int32_t ar1[3];

  printf("%d\n",ar1[1]);
}

int32_t main(void)
{
  mc2main_0812V001NonCompliant_01();

  return 0;
}
